利用定理 2.4.5, 有